Building a Dependable Operating System : Fault Tolerance in Minix 3
نویسنده
چکیده
This work was carried out in the ASCI graduate school. ASCI dissertation series number 208. " We're getting bloated and huge. Yes, it's a problem.. .. I'd like to say we have a plan. "
منابع مشابه
Isolating Operating System Extensions in User-mode Processes
This paper explores the principles and practice of isolating faulty extensions in order to improve operating systems dependability. In particular, we explore in detail the various powers extensions may need and how they can be effectively restricted in the damage they can do in the event a bug is triggered. To demonstrate how these principles can be applied in practice we describe how MINIX 3, ...
متن کاملReorganizing UNIX for Reliability
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX 3, that provides reliability beyond that of most other systems. With nearly the entire operating system running as a set of user-mode servers and drivers atop a minimal kernel, the system is fully compartmentalized. By moving most of the code to unprivileged user-mode processes and restricting the po...
متن کاملBuilding Dependable Distributed Applications Using AQUA 1
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having to provide fault tolerance at the application level, in addition to dealing with the complexities of the distributed application itself. This approach requires a deep knowledge of fault tolerance on the part of the app...
متن کاملEFTOS: A Software Framework for More Dependable Embedded HPC Applications
Within the ESPRIT project EFTOS (Embedded Fault-Tolerant Supercomputing), a framework is developed to integrate fault tolerance flexibly and easily into distributed embedded HPC applications . This framework consists of a variety of reusable fault tolerance modules acting at different levels. The cost and performance overhead of generic Operating System and Hardware level fault tolerance mechan...
متن کاملDeveloping dependable real-time systems
A growing number of safety-critical systems is controlled by computer systems. In the context of several research projects solutions were suggested how to reduce the implementation effort for dependable real-time systems. Unfortunately most of these approaches are based on special hardware solutions or restricted to specific application domains. In addition most of the application realize only ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010